翻訳と辞書
Words near each other
・ Suprarenal
・ Suprarenal artery
・ Suprarenal plexus
・ Suprarenal veins
・ Suprascapular artery
・ Suprascapular nerve
・ Suprascapular notch
・ Suprascapular vein
・ Supraspinal
・ Supraspinatous fossa
・ Supraspinatus muscle
・ Supraspinous fascia
・ Supraspinous ligament
・ Suprasternal notch
・ Supratentorial region
Supratik Chakraborty
・ Supratisthita Varman
・ Supratisthitacaritra
・ Supratrochlear artery
・ Supratrochlear foramen
・ Supratrochlear lymph nodes
・ Supratrochlear nerve
・ Suprava Samal
・ Supravaginal portion of cervix
・ Supravalvar aortic stenosis
・ Supravee Miprathang
・ Supraventricular extrasystole
・ Supraventricular tachycardia
・ Supravesical fossa
・ Supravital staining


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Supratik Chakraborty : ウィキペディア英語版
Supratik Chakraborty


Supratik Chakraborty is a Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay.

His current areas of study include Formal methods, Formal verification of software and hardware systems, Automata theory and Logic. He has also worked on timing analysis of Asynchronous systems and on Cellular automata in the past. He has published several technical papers, has written a book chapter and has delivered several invited talks in these areas. He has served on the program committees of several international conferences, including being a PC co-chair of FSTTCS 2011 and of ATVA 2012.
==References==

* ( Homepage at Department of Computer Science and Engineering, IIT Bombay )
* ( ACM Council Membership Profile )

*
*
*
*



抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Supratik Chakraborty」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.